Computational logic - PDFSEARCH.IO - Document Search Engine

Computational logic
Results: 652

#	Item
421	Computational Tools for Modeling and Aiding Reasoning: Assessing and Applying the Theory of Explanatory Coherence By Patricia Kathleen Schank B.S. (University of Nebraska, Lincoln[removed]M.S. (University of California, Be Add to Reading List Source URL: morenumerate.org Language: English - Date: 2014-09-04 15:13:50 Philosophy of science Scientific method Reasoning Epistemology Logic Statistical hypothesis testing Reason G factor Models of scientific inquiry Science Knowledge Cognition
422	Computational Models for Normative Multi-Agent Systems Natasha Alechina1 , Nick Bassiliades2 , Mehdi Dastani3 , Marina De Vos4 , Brian Logan1 , Sergio Mera5 , Andreasa Morris-Martin6 , and Fernando Schapachnik5 1 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2013-05-13 11:06:11 Science Norm Defeasible reasoning 2APL Agent-based model Deontic logic Software agent Actor model Reason Multi-agent systems Computing Artificial intelligence
423	Butterfly Project Report 13 DARPA Parallel Architecture Benchmark Study C. Brown, R. Fowler, T. LeBlanc, M. Scott, M. Srinivas, L. Bukys, J. Costanzo, L. Crowl, P. Dibble, N. Gafter, B.March, T. Olson, Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2011-03-26 00:09:45 Mathematical logic Parallel computing Benchmark Computational science Standard Performance Evaluation Corporation Mathematical sciences Distributed computing Theoretical computer science Mathematics Algorithm
424	Generalized Universal Circuits for Secure Evaluation of Private Functions with Application to Data Classification Ahmad-Reza Sadeghi and Thomas Schneider? Horst G¨ ortz Institute for IT-Security, Ruhr-University Bochum, Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2008-12-22 15:22:51 Logic gates Computational complexity theory Circuit complexity Boolean circuit Logic in computer science Adder ACC0 OR gate Theoretical computer science Applied mathematics Digital circuits
425	Automatic Control and Systems Engineering The Department of Automatic Control & Systems Engineering is pleased to announce the following seminar: Add to Reading List Source URL: www.sheffield.ac.uk Language: English - Date: 2014-10-21 04:19:12 Fuzzy logic Science Logic in computer science Non-classical logic Computational intelligence Fuzzy control system Type-2 fuzzy sets and systems IEEE Computational Intelligence Society Fuzzy set Artificial intelligence Logic Mathematical logic
426	Computational Models for Normative Multi-Agent Systems Natasha Alechina1 , Nick Bassiliades2 , Mehdi Dastani3 , Marina De Vos4 , Brian Logan1 , Sergio Mera5 , Andreasa Morris-Martin6 , and Fernando Schapachnik5 1 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-09-26 15:20:37 Science Norm Defeasible reasoning 2APL Agent-based model Deontic logic Software agent Actor model Reason Multi-agent systems Computing Artificial intelligence
427	The Nondeterministic Constraint Logic Model of Computation: Reductions and Applications Robert A. Hearn1 and Erik D. Demaine2 1 Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Add to Reading List Source URL: groups.csail.mit.edu Language: English - Date: 2002-07-31 20:05:58 Complexity classes Logic gates Finite model theory Boolean algebra True quantified Boolean formula Flip-flop PSPACE-complete FO IP Theoretical computer science Computational complexity theory Applied mathematics
428	Open Access et al. Smith 2008 Volume Add to Reading List Source URL: www.ncbi.nlm.nih.gov Language: English Bioinformatics Logic Markov models Natural language processing Information science BioCreative Part-of-speech tagging Conditional random field Word-sense disambiguation Science Computational linguistics Linguistics
429	Available online at www.sciencedirect.com Procedia Computer Science[removed] – 54 Proceedings of the 3rd International Conference on Computational Systems-Biology and Bioinformatics (CSBio 2012) Add to Reading List Source URL: openwetware.org Language: English - Date: 2012-12-12 14:13:55 Electronics Flip-flop Electrical engineering Hardware description languages Counter Verilog Logic gate Sequential logic Random-access memory Digital electronics Electronic engineering Computer memory
430	Training ICPC Teams: A Technical Guide Rujia Liu Department of Computer Science and Technology Tsinghua University Beijing[removed], China Add to Reading List Source URL: lavergne.gotdns.org Language: English - Date: 2015-01-24 15:00:22 Algorithm Mathematical logic TopCoder ACM International Collegiate Programming Contest Shortest path problem Computational complexity theory Search algorithm Randomized algorithm Linear programming Theoretical computer science Mathematics Applied mathematics

UPDATE